rec($x$.$A$($x$)) \textbf{is Primitive}